ITL BULLETIN FOR MAY 2016 COMBINATORIAL TESTING FOR CYBERSECURITY AND RELIABILITY Rick Kuhn, Raghu Kacker, Larry Feldman, 1 and Greg Witte,1 Editors Computer Security Division Information Technology Laboratory

Source URL: csrc.nist.gov

• Software testing
• Reliability engineering
• Test automation
• Integration testing
• Code coverage
• High Efficiency Video Coding

RT-­‐Xen:  Real-­‐Time  Virtualiza2on   from  embedded  to  cloud  compu2ng   Chenyang  Lu   Cyber-­‐Physical  Systems  Laboratory   Department  of  Computer  Scie

Source URL: www.cse.wustl.edu

• Software
• System software
• Linux Foundation
• University of Cambridge Computer Laboratory
• Xen
• Hypervisor
• Scheduling
• Hyper-V
• VMware ESXi
• Temporal isolation among virtual machines

Towards An Infrastructure for Pervasive Recommendations Paul Dourish Computer Science Laboratory Xerox Palo Alto Research Center 3333 Coyote Hill Road

Source URL: www.dourish.com

• Computing
• Technology
• Network architecture
• Collective intelligence
• Mobile technology
• Recommender system
• Social navigation
• Internet protocol suite
• Paul Dourish
• World Wide Web
• Short Message Service
• IP address

Passive Mobile Robot Localization within a Fixed Beacon Field Carrick Detweiler, John Leonard, Daniela Rus, and Seth Teller Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology,

Source URL: cse.unl.edu

Linux-based virtualization for HPC clusters Lucas Nussbaum, Fabienne Anhalt, Olivier Mornard, Jean-Patrick Gelas Laboratoire de l’Informatique et du Parallélisme INRIA - UCB Lyon 1 - ENS Lyon -

Source URL: www.loria.fr

• Software
• System software
• Linux Foundation
• University of Cambridge Computer Laboratory
• Xen
• Kernel-based Virtual Machine
• QEMU
• Hypervisor
• Hardware virtualization
• Virtual machine
• Network virtualization
• Hyper-V

Assessment of Traffic Prioritization in Switched Local Area Networks Carrying Multimedia Traffic F. A. Tobagi, C. J. Fraleigh, M. J. Karam, W. Noureddine Computer Systems Laboratory Department of Electrical Engineering

Source URL: mmnetworks.stanford.edu

Complete SE 3 Underwater Robot Control with Arbitrary Thruster Configurations Marek Doniec, Iuliu Vasilescu, Carrick Detweiler, Daniela Rus Computer Science and Artificial Intelligence Laboratory Massachusetts Institute

Source URL: cse.unl.edu

A HMTT: A Hybrid Hardware/Software Tracing System for Bridging the DRAM Access Trace’s Semantic Gap Yongbing Huang, Licheng Chen, Zehan Cui, State Key Laboratory of Computer Architecture, Institute of Computing Technol

Source URL: asg.ict.ac.cn

Dynamic Power Management for Portable Systems Tajana Simunic Luca Benini* Peter Glynnt Giovanni De Micheli Computer Systems tManagement Science and *DEIS Laboratory

Source URL: si2.epfl.ch

Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University

Source URL: ssll.cecs.anu.edu.au